Enriched category

Results: 38



#Item
31Model theory / Category theory / Structure / Interpretation / Monoid / Category / Enriched category / Symbol / First-order logic / Mathematics / Abstract algebra / Mathematical logic

An Institutional View on Categorical Logic Florian Rabe, Jacobs University Bremen Till Mossakowski, DFKI-Lab Bremen and University of Bremen

Add to Reading List

Source URL: kwarc.info

Language: English - Date: 2011-08-04 12:26:08
32Functors / Enriched category / Coproduct / Cartesian closed category / Monoidal functor / Product / Braided monoidal category / Fibred category / Monoid / Category theory / Algebra / Monoidal categories

Theory and Applications of Categories, Vol. 28, No. 21, 2013, pp. 616–695. ENRICHED INDEXED CATEGORIES

Add to Reading List

Source URL: www.tac.mta.ca

Language: English - Date: 2013-08-05 14:35:47
33Abstract algebra / Monoid / Functor / PRO / Adjoint functors / Enriched category / Cartesian closed category / Algebraic structure / Monad / Category theory / Algebra / Monoidal categories

Free models of T -algebraic theories computed as Kan extensions Nicolas Tabareau ∗

Add to Reading List

Source URL: hal.archives-ouvertes.fr

Language: English - Date: 2008-11-17 11:04:51
34Functors / Higher category theory / Algebraic structures / Homotopy theory / Category / Groupoid / Enriched category / Equivalence of categories / Natural transformation / Abstract algebra / Category theory / Mathematics

Categories without a set of objects, n-orders, constructivism Mathieu Dupont

Add to Reading List

Source URL: breckes.org

Language: English - Date: 2012-08-14 06:21:01
35Adjoint functors / Functors / Enriched category / Monoidal functor / Max Kelly / Natural transformation / Universal property / Closed monoidal category / Limit / Category theory / Algebra / Monoidal categories

PDF Document

Add to Reading List

Source URL: www.tac.mta.ca

Language: English - Date: 2012-05-14 13:13:14
36Functors / Functional programming / Monad / Natural transformation / Equivalence of categories / Map / Sheaf / Category / Enriched category / Category theory / Adjoint functors / Abstract algebra

PDF Document

Add to Reading List

Source URL: stefan-klinger.de

Language: English - Date: 2013-09-26 09:15:18
37Abstract algebra / Adjoint functors / Strong monad / Monoidal monad / Monoidal functor / Monad / Enriched category / Monoid / Closed monoidal category / Category theory / Monoidal categories / Algebra

PDF Document

Add to Reading List

Source URL: home.imf.au.dk

Language: English - Date: 2007-03-19 03:23:44
38Monoidal categories / Enriched category / Closed monoidal category / Adjoint functors / Metric space / Monoidal functor / Functor / Monad / Sheaf / Category theory / Algebra / Mathematics

PDF Document

Add to Reading List

Source URL: tac.mta.ca

Language: English - Date: 2002-08-31 13:48:13
UPDATE